Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
141	LISP AND SYMBOLIC COMPUTATION: An International Journal, 7, 83–110, 1994 c 1994 Kluwer Academic Publishers – Manufactured in The Netherlands Subcontinuations∗ ROBERT HIEB† Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2004-05-14 16:11:46 Control flow Continuations Lisp programming language Subroutines Functional programming Continuation Call-with-current-continuation Delimited continuation Lambda calculus Software engineering Computing Computer programming
142	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Vilhelm Sjöberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:21 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematics
143	(P)NFG: A LANGUAGE AND RUNTIME SYSTEM FOR STRUCTURED COMPUTER NARRATIVES Christopher J.F. Pickett Clark Verbrugge F´elix Martineau School of Computer Science, McGill University Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2005-08-08 06:59:50 Diagrams Freeware NuSMV Models of computation Petri net Model checking Inform Hugo Binary decision diagram Software Interactive fiction Computing
144	Aspect Categories and Classes of Temporal Properties Shmuel Katz Computer Science The Technion Haifa Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-27 04:16:54 Models of computation Temporal logic UML diagrams Aspect-oriented programming Abstraction Grammatical aspect Kripke structure Programming language Monad Software development Aspect-oriented software development Software engineering
145	Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling Makoto Kanazawa National Institue of Informatics Tokyo, Japan http://research.nii.ac.jp/˜kanazawa/ Add to Reading List Source URL: www.loria.fr Language: English - Date: 2009-07-29 20:41:55 Mathematics Applied mathematics Categorial grammar Lambda calculus Context-sensitive grammar Orbifold Formal languages Theoretical computer science Models of computation
146	Selected Topics in Communication and Action Jan van Eijck CWI & ILLC, Amsterdam October 25, 2014 Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-12-01 03:27:09 Reasoning Epistemology Knowledge representation Belief revision Institute for Logic Language and Computation Reason Probability Science Knowledge Logic
147	Greedy Regular Expression Matching Alain Frisch1,2,? and Luca Cardelli3 2 1 ´ Ecole Normale Sup´erieure (Paris) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Software engineering Computing Models of computation Nondeterministic finite automaton Regular language FO Regular expression J Deterministic finite automaton Automata theory Formal languages Theoretical computer science
148	A functional quantum programming language Thorsten Altenkirch and Jonathan Grattage School of Computer Science and IT, Nottingham University email: {txa,jjg}@cs.nott.ac.uk Abstract Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:42:44 Applied mathematics Models of computation Quantum mechanics Symbol Quantum circuit Quantum computer Quantum operation Quantum programming Quantum gate Theoretical computer science Quantum information science Physics
149	A Scalable Probabilistic Classifier for Language Modeling Joel Lang Institute for Language, Cognition and Computation School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9AB, UK Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2011-05-20 16:12:48 Bayesian statistics Machine learning N-gram Maximum likelihood Hidden Markov model Principle of maximum entropy Training set Perceptron Entropy Statistics Probability and statistics Statistical theory
150	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Lambda calculus Data types Lisp programming language Racket System F Type system Typed lambda calculus Software engineering Programming language theory Computing